CCEL: A Metalanguage for C++
نویسندگان
چکیده
c++ is an expressive language, but it does not allow software developers to say all the things about their systems that they need to be able to say. In particular, C+ + offers no way to express many important constraints on a system's design, implementation, and presentation. In this paper, we describe CCEL, a metalanguage for C+ + that allows software developers to express constraints on C+ + designs and implementations, and we describe Clean++, a system that checks C+ + code for violations of CCEL constraints. CCEL is designed for practical, real-world use, and the examples in this paper demonstrate its power and flexibility.
منابع مشابه
Design and Outcomes of a Comprehensive Care Experience Level System to Evaluate and Monitor Dental Students' Clinical Progress.
A Comprehensive Care Experience Level (CCEL) system that is aligned with Commission on Dental Accreditation (CODA) standards, promotes comprehensive care and prevention, and addresses flaws observed in previous Relative Value Units (RVU)-based programs has been implemented at the School of Dental Medicine, Case Western Reserve University since 2011. The purpose of this article is to report on t...
متن کاملFacilitating Software Maintenance by Automated Detection of Constraint Violations
In this paper, we describe CCEL, a language that allows programmers to formally express constraints on their software systems and to automatically detect violations of these constraints. We demonstrate the power, the flexibility, and the overall utility of CCEL by showing how it can express real constraints from real software developers for real systems.
متن کاملA Contrastive Analysis of Persian and English Compliment, Request, and Invitation Patterns within the Semantic Metalanguage Framework
Speech acts shape the core of pragmatic competence and their mastery is a prerequisite for successful dis- course encounters in an L2. Cross-cultural comparisons, as claimed by Johnstone (2018), are very effec- tive for knowing and acquiring the speech acts. Accordingly, the purpose of this study was to compare a limited number of communicative routines in English and Persian within the f...
متن کاملA Contrastive Study of Request Speech Act in English and Persian Novels: Natural Semantic Metalanguage Approach
The Natural Semantic Metalanguage (NSM) Approach claims that there are some universalities in all languages. Speech acts seem to be present in all languages, but considering this approach, research has not indicated whether request speech act differs from one language to another. Thus, this study intended to investigate whether request strategies are used differently in English and Persian roma...
متن کاملCooperative Coevolutionary Ensemble Learning
A new optimization technique is proposed for classifiers fusion — Cooperative Coevolutionary Ensemble Learning (CCEL). It is based on a specific multipopulational evolutionary algorithm — cooperative coevolution. It can be used as a wrapper over any kind of weak algorithms, learning procedures and fusion functions, for both classification and regression tasks. Experiments on the real-world prob...
متن کامل